Skeletal semantics and their interpretations
نویسندگان
چکیده
منابع مشابه
Kripke Semantics for Dependent Type Theory and Realizability Interpretations
Constructive reasoning has played an increasingly important role in the development of provably correct software. Both typed and type-free frameworks stemming from ideas of Heyting, Kleene, and Curry have been developed for extracting computations from constructive specifications. These include Realizability, and Theories based on the Curry-Howard isomorphism. Realizability – in its various typ...
متن کاملPartially Ordered Patterns and Their Combinatorial Interpretations
This paper is a continuation of the study of partially ordered patterns (POPs) introduced recently. We provide a general approach to code combinatorial objects using (POP-)restricted permutations. We give several examples of relations between permutations restricted by POPs and other combinatorial structures, such as labeled graphs, walks, binary vectors, and others. Also, we show how restricte...
متن کاملChain Graph Interpretations and Their Relations
This paper deals with different chain graph interpretations and the relations between them in terms of representable independence models. Specifically, we study the Lauritzen-Wermuth-Frydenberg, Andersson-Madigan-Pearlman and multivariate regression interpretations and present the necessary and sufficient conditions for when a chain graph of one interpretation can be perfectly translated into a...
متن کاملChain graph interpretations and their relations revisited
In this paper we study how different theoretical concepts of Bayesian networks have been extended to chain graphs. Today there exist mainly three different interpretations of chain graphs in the literature. These are the Lauritzen-Wermuth-Frydenberg, the Andersson-Madigan-Perlman and the multivariate regression interpretations. The different chain graph interpretations have been studied indepen...
متن کاملSecond-language speaker interpretations of intonation- al semantics in English
Research is reported on the way in which Finnish speakers of English interpret the semantic/pragmatic meaning of the fall-rise intonation in spoken English. A set of constructed mini-dialogues were used for listening tests in which the test subjects were to interpret the “meaning” of the fall-rise tone. To obtain baseline data, a group of native speakers of English listened to the same material...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3290357